1. An introduction to formal specification and Z
پدیدآورنده: / Ben Potter, Jane Sinclair, David Till
کتابخانه: کتابخانه مؤسسه ژئوفیزیک (دانشگاه تهران) (تهران)
موضوع: Computer software - Geotools ــ Development,Z )Computer program language( ــ Development
رده :
QA
76
.
76
.
D47
2. Design patterns
پدیدآورنده: / Erich Gamma ... ]et al.[
کتابخانه: کتابخانه مؤسسه ژئوفیزیک (دانشگاه تهران) (تهران)
موضوع: Object-oriented programming )Computer science(,Computer software - Geotools ــ Reusability,Software patterns ــ Reusability
رده :
QA
76
.
64
.
D47
1995
3. Geotools MT User's Guide
پدیدآورنده:
کتابخانه: کتابخانه مؤسسه ژئوفیزیک (دانشگاه تهران) (تهران)
موضوع: Computer software - Geotools,Magnetotelluric - Computer software
رده :
QA
76
.
6
.
G4
4. Proceedings of the 1994 international conference on parallel processing August 15-19, 1994
پدیدآورنده: / K.C. Tai
کتابخانه: کتابخانه مؤسسه ژئوفیزیک (دانشگاه تهران) (تهران)
موضوع: Parallel processing)electronic computers( ــ Congresses,Computer architecture ــ Congresses,Computer software - Geotools ــ Congresses,Electronic data processing ــ Distributed processing--congresses,Computer networks ــ Congresses
رده :
QA
76
.
6
.
I5
1994
5. Software inspection
پدیدآورنده: / Tom Gilb, Dorothy Graham
کتابخانه: کتابخانه مؤسسه ژئوفیزیک (دانشگاه تهران) (تهران)
موضوع: Computer software - Geotools ــ Quality control
رده :
QA
76
.
76
.
Q35
.
G48
1993
6. Software project management
پدیدآورنده: / Bob Hughes and Mike Cotterell
کتابخانه: کتابخانه مؤسسه ژئوفیزیک (دانشگاه تهران) (تهران)
موضوع: Computer software - Geotools ــ Development--management
رده :
QA
76
.
76
.
H8
.
S64
